Knowledge, belief and time
نویسندگان
چکیده
منابع مشابه
Knowledge, Belief and Time
In the conclusion of [7] Halpern and Moses expressed their interest in a logical system in which one could talk about knowledge and belief (and belief about knowledge, knowledge about belief and so on), We investigate such systems. In the first part of the paper knowledge and belief, without time, are considered. Common knowledge and common belief are defined and compared. A logical system and ...
متن کاملReasoning about Belief and Knowledge with Self-Reference and Time
In two previous papers (Asher & Karnp 1986,1987), Hans Kamp and I developed a framework for investigating the logic of attitudes whose objects involved an unlimited capacity for self-reference. The framework was the daughter of two well-known parents-possible worlds semantics and the revisionist, semi-inductive theory of truth developed by Herzberger (1982) and Gupta (1982). Nevertheless, the o...
متن کاملEvidentials, Knowledge and Belief
The notion of evidence is mostly taken for granted in the study of evidentials. This paper reports on the initial stage of a research program that attempts to determine what properties are necessary for a proposition to count as ‘evidence for evidentials.’ The conclusion of this initial paper is that such evidence must be knowledge, on the basis of application of skeptical arguments, which can ...
متن کاملBelief Revision and Knowledge Representation
Peter Gardenfors Lund University Cognitive Science Kungshuset S-222 22 Lund, Sweden E-malh Peter. [email protected] This paper is dedicated to the memory of Carlos Alchourron. The paper consists of two parts, where the first is an overview of selected topics in belief revision theory and the second presents some suggestions for future directions of research. The first, retrospective part beg...
متن کاملUpdate, Probability, Knowledge and Belief
The paper compares two kinds of models for logics of knowledge and belief, neighbourhood models and epistemic weight models. We give sound and complete calculi for both, and we show that our calculus for neighbourhood models is sound but not complete for epistemic weight models. Epistemic weight models combine knowledge and probability by using epistemic accessibility relations and weights to d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1988
ISSN: 0304-3975
DOI: 10.1016/0304-3975(88)90024-2